The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Marie-Claude Gaudel Books

Results for Marie-Claude Gaudel

Showing 1 to 3 of 3 results
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science) FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science) by James Woodcock,Marie-Claude Gaudel

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science)

by James Woodcock,Marie-Claude Gaudel


ISBN 13: 9783540609735

Format: Paperback (724 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $127.59  
New : $127.59
TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings: 668 (Lecture Notes in Computer Science) TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings: 668 (Lecture Notes in Computer Science) by Marie-Claude Gaudel,Jean-Pierre Jouannaud

TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings: 668 (Lecture Notes in Computer Science)

by Marie-Claude Gaudel,Jean-Pierre Jouannaud


ISBN 13: 9783540566106

Format: Paperback (780 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

 
New : $137.79  
New : $137.79
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers: 7681 (Lecture Notes in Computer Science) Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers: 7681 (Lecture Notes in Computer Science) by Burkhard Wolff,Marie-Claude Gaudel,Abderrahmane Feliachi

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers: 7681 (Lecture Notes in Computer Science)

by Burkhard Wolff,Marie-Claude Gaudel,Abderrahmane Feliachi


ISBN 13: 9783642357046

Format: Paperback (260 pages)
Publisher: Springer
Published: 04 Jan 2013

Save for later

 
New : $51.19  
New : $51.19